CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 25 of 80 Results
1.
Quality-Driven SystemC Design
Quality-Driven SystemC Design by Große, Daniel, Drechsler, ... ISBN: 9789048136308 List Price: $129.00
$103.17 (Save 20%)
2.
Test Pattern Generation Using Boolean Proof Engines
Test Pattern Generation Using Boolean Proof Engines by Drechsler, Rolf, Eggersglüß... ISBN: 9789048123599 List Price: $139.00
$103.17 (Save 25%)
3.
Towards One-Pass Synthesis
Towards One-Pass Synthesis by Drechsler, Rolf, Günther, W... ISBN: 9781402070440 List Price: $125.00
$78.06 (Save 37%)
4.
Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof Engines by Drechsler, Rolf, Eggersglü... ISBN: 9789048184910 List Price: $139.00
$103.17 (Save 25%)
5.
Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows by Fey, Görschwin, Drechsler,... ISBN: 9789048176625 List Price: $139.00
$103.17 (Save 25%)
6.
Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic by Wille, Robert, Drechsler, Rolf ISBN: 9789048195787 List Price: $129.00
$103.17 (Save 20%)
7.
Debugging at the Electronic System Level
Debugging at the Electronic System Level by Rogin, Frank, Drechsler, Rolf ISBN: 9789048192540 List Price: $129.00
$103.17 (Save 20%)
8.
Binary Decision Diagrams: Theory and Implementation
Binary Decision Diagrams: Theory and Implementation by Rolf Drechsler, Bernd Becker ISBN: 9781441950475 List Price: $209.00
$155.49 (Save 25%)
9.
Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design by Drechsler, Rolf, Drechsler,... ISBN: 9781402072765 List Price: $139.00
$103.17 (Save 25%)
10.
Advanced Formal Verification
Advanced Formal Verification by Drechsler, Rolf ISBN: 9781402077210 List Price: $165.00
$92.91 (Save 43%)
11.
Advanced BDD Optimization
Advanced BDD Optimization by Ebendt, Rüdiger, Fey, Görsc... ISBN: 9780387254531 List Price: $189.00
$108.98 (Save 42%)
12.
Formal Specification Level : Algorithms, Concepts and Methods
Formal Specification Level : Algorithms, Concepts and Methods by Soeken, Mathias, Drechsler,... ISBN: 9783319086989 List Price: $129.00
$101.14 (Save 21%)
13.
Evolutionary Algorithms for Vlsi CAD
Evolutionary Algorithms for Vlsi CAD by Drechsler, Rolf ISBN: 9780792381686 List Price: $209.00
$103.17 (Save 50%)
14.
Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows by Fey, Goerschwin, Drechsler,... ISBN: 9781402065354 List Price: $139.00
$82.10 (Save 40%)
15.
Advanced Formal Verification
Advanced Formal Verification by Drechsler, Rolf ISBN: 9781441954206 List Price: $165.00
$103.17 (Save 37%)
16.
Binary Decision Diagrams: Theory and Implementation
Binary Decision Diagrams: Theory and Implementation by Drechsler, Rolf, Becker, Bernd ISBN: 9780792381938 List Price: $209.00
$158.63 (Save 24%)
17.
Advanced BDD Optimization
Advanced BDD Optimization by Ebendt, Rudiger, Fey, Görs... ISBN: 9781441937964 List Price: $189.00
$155.49 (Save 17%)
18.
Formal Verification of Circuits
Formal Verification of Circuits by Drechsler, Rolf ISBN: 9781441949851 List Price: $219.00
$155.49 (Save 29%)
19.
High Quality Test Pattern Generation : Robust Algorithms Using Boolean Satisfiability
High Quality Test Pattern Generation : Robust Algorithms Using Boolean Satisfiability by Eggersgluess, Stephan, Drec... ISBN: 9781441999757 List Price: $129.00
$101.14 (Save 21%)
20.
Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design by Drechsler, Rolf, Drechsler,... ISBN: 9781461353621 List Price: $159.00
$103.17 (Save 35%)
21.
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School...
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School... by Drechsler, Rolf, K�hne, Ulrich ISBN: 9783658099930
$51.31
22.
Formal System Verification : State-Of the-Art and Future Trends
Formal System Verification : State-Of the-Art and Future Trends by Drechsler, Rolf ISBN: 9783319576831 List Price: $99.00
$119.25
23.
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test by Chandrasekharan, Arun, Gro�... ISBN: 9783319989648 List Price: $109.99
$51.31 (Save 53%)
24.
Spectral Techniques in Vlsi CAD
Spectral Techniques in Vlsi CAD by Thornton, Mitchell Aaron, D... ISBN: 9780792374336 List Price: $229.00
$76.31 (Save 66%)
25.
Advanced Logic Synthesis
Advanced Logic Synthesis by Reis, Andr� In�cio, Drechsl... ISBN: 9783319672946 List Price: $129.00
$101.14 (Save 21%)
Showing 1 - 25 of 80 Results - Browse more Rolf Drechsler in all departments
1 2 3 4 | ▶